Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
491	WRF Verification Working Group Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2008-06-30 12:05:13 Statistics NetCDF GRIB Atmospheric sciences Meteorology Earth sciences graphics software
492	Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-10-30 02:04:09 Theoretical computer science Coq Mathematical logic Logic in computer science Proof assistant OCaml Formal verification Coenzyme Q10 Parallel computing Software Computing Functional languages
493	Protecting Brands Globally™ FOR IMMEDIATE RELEASE Sproxil Hits 10 Million Verification Milestone Expansion of Counterfeit Protection, Launch of Loyalty & Mobile Marketing Applications Key to Accelerating Usage Add to Reading List Source URL: sproxil.com Language: English - Date: 2014-07-01 16:46:12 Counterfeit consumer goods Counterfeit medications Technology Counterfeit Mobile marketing Marketing Business software Sproxil Business
494	Preprint of paper published in Proc. International Conference on Software Testing, Verification, and Validation (ICST 2009), pp[removed], 2009. The Effectiveness of Automated Static Analysis Tools for Fault Detection and Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2010-06-10 13:24:45 Integrated development environments Extreme programming FindBugs Code refactoring Software maintenance IntelliJ IDEA IText Software testing Reliability engineering Software Computing Systems engineering
495	PowerShell Verified By PowerShell.org PowerShell Verified is a program that enables IT professionals to demonstrate cross-functional expertise with Windows PowerShell and related technologies. After registering for the p Add to Reading List Source URL: cdn.powershell.org Language: English - Date: 2013-11-29 11:23:11 Scripting languages Command shells Windows PowerShell Windows NT Environment variable Windows 8 Help Verification Parameter Computing Software engineering Software
496	Embedded Software Business Unit OAK SYSTEMS is a boutique Independent Software V & V and Testing Company headquartered in Bangalore, India and has been helping clients globally providing quality software solutions and se Add to Reading List Source URL: oaksys.net Language: English - Date: 2013-04-05 08:27:36 Technology Formal methods Software quality Software engineering Evaluation Quality assurance Software development process DO-178B Verification and validation Software development Software testing Computing
497	VALIDATOR Data Erasure Process Verification Ensure compliance with new data security standards using our quick and easy erasure verification tool Recently updated data destruction standards now mandate that organization Add to Reading List Source URL: www.abcusinc.com Language: English - Date: 2013-11-14 17:32:40 System software Data erasure Data remanence Shred Disk formatting Degaussing Sanitization Validator Computing Data security Software
498	Professional Development Seminar Free Admission for ISACA China HK Chapter members [All ISACA China HK Chapter members: Please remember to bring along your Confirmation Ticket to the venue for verification should you wis Add to Reading List Source URL: www.isaca.org.hk Language: English - Date: 2014-03-06 02:43:53 Information Systems Audit and Control Association Oracle Database Oracle Corporation Business Software Auditing Computing
499	Verification and testing of mobile robot navigation algorithms: A case study in SPARK Piotr Trojanek and Kerstin Eder Abstract— Navigation algorithms are fundamental for mobile robots. While the correctness of the algo Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-08-20 15:36:18 Data types Procedural programming languages Cross-platform software C++ Standard Library Theoretical computer science SPARK Vector Field Histogram Ada C Computing Software engineering Computer programming
500	DRAFT[removed]Why Filters are Not the Answer1 In 1998, Congress passed the Child Online Protection Act (COPA), which required age verification screens for websites containing material ―harmful to minors. COPA was an Add to Reading List Source URL: www.cp80.org Language: English - Date: 2007-08-13 14:15:09 Content-control software Internet pornography The CP80 Foundation Law Parental controls Internet Electronic filter Internet censorship in Australia Content filtering Censorship Internet safety Ashcroft v. American Civil Liberties Union

UPDATE